Using Strategic Logics to Reason about Agent Programs
نویسندگان
چکیده
We propose a variant of Alternating-time Temporal Logic (ATL) grounded in the agents’ operational know-how, as defined by their libraries of abstract plans. In our logic, it is possible to refer to “rational” strategies for agents developed under the Belief-Desire-Intention agent paradigm. This allows us to express and verify properties of BDI systems using ATL-type logical frameworks.
منابع مشابه
Bisimulation Quantifiers for Modal Logics
Modal logics have found applications in many different contexts. For example, epistemic modal logics can be used to reason about security protocols, temporal modal logics can be used to reason about the correctness of distributed systems and propositional dynamic logic can reason about the correctness of programs. However, pure modal logic is expressively weak and cannot represent many interest...
متن کاملOn Axiomatic Products of PDL and S5: Substitution, Tests and Knowledge∗
Propositional dynamic logic (PDL for short) [5] is an expressive, powerful and convenient logical tool to reason about programs or actions. It has found applications in various fields of computer science, which range from program verification to multi-agent systems. In computer science applications, the modal logic S5 is generally accepted as an adequate representation of the notion of knowledg...
متن کاملConcurrent information update in multi-agent systems: from Hintikka to Abramsky Games
Abramsky and Hintikka style games can be seen as representatives of the two main branches of game semantics. They both model interaction but each in a different manner. Hintikka games provide models of propositional interaction in terms of classical logic connectives such as ∨, ∧, →, and ¬. Abramsky games, on the other hand, model the interaction between programs that run in different parallel ...
متن کاملEpistemic Conditional Logics
This paper develops two conditional logics that allows one to reason about the belief of another agent (which reasons in conditional logic himself). The desirable properties of such logics that reason about the beliefs of another non-monotonic agent are discussed and the two logics proposed here are shown to have those properties.
متن کاملEquivalence of defeasible normative systems
Normative systems have been advocated as an effective tool to regulate interaction in multi-agent systems. The use of deontic operators and the ability to represent defeasible information are known to be two fundamental ingredients to represent and reason about normative systems. In this paper, after introducing a framework that combines standard deontic logic and non-monotonic logic programmin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013